$\forall$${\it es}$:event\_system\{i:l\}, $T$:Type, $x$:Id, $v$:$T$, $e$:es{-}E(${\it es}$). @$e$($x$$\rightarrow$$v$) $\in$ prop\{i:l\}